Sur les gongylonèmes de muridae et leurs formes larvaires

Notes sur les modèles de jeux, leurs logiques temporelles, et leurs extensions temporisées

Model checking. La vérification automatique des systèmes réactifs, critiques et/ou embarqués est aujourd’hui un problème très important. D’une part, parce que l’usage de ces systèmes s’est considérablement étendu ces dernières années et d’autre part, parce que leur complexité s’est largement accrue. Leur développement, depuis leur spécification jusqu’à leur implémentation, requiert donc des app...

Residus de 2-formes differentielles sur les surfaces algebriques et applications aux codes correcteurs d'erreurs

The theory of algebraic-geometric codes has been developed in the beginning of the 80's after a paper of V.D. Goppa. Given a smooth projective algebraic curve X over a finite field, there are two different constructions of error-correcting codes. The first one, called"functional", uses some rational functions on X and the second one, called"differential", involves some rational 1-forms on this ...

Etat actuel de nos connaissance sur les Theilerioses (Gonderioses) et l'aspect de ces maladies en Iran

Sur les fonctions de répartition et de réarrangement

1.2 Cas d’une fonction simple Il nous sera utile de savoir calculer les fonctions de répartition et de réarrangement des fonctions simples. Qui plus, cela permet de justifier un peu la définition de “fonction de réarrangement”. Soit donc f : X → R une fonction simple, i.e. une fonction mesurable ayant un nombre fini de valeurs. On utilise deux écritures de f , qui serviront à représenter λf et ...

10 observations sur le convention du 17 janvier 2005 sur les immunités juridictionnelles des états et de leurs biens

0